Merge pull request #1810 from antonio-nino-diaz-arm/an/setjmp
authorAntonio Niño Díaz <[email protected]>
Mon, 11 Feb 2019 09:58:53 +0000 (09:58 +0000)
committerGitHub <[email protected]>
Mon, 11 Feb 2019 09:58:53 +0000 (09:58 +0000)
Make setjmp/longjmp compliant with the C standard and move them to libc


Trivial merge